Separation kernel - PDFSEARCH.IO - Document Search Engine

Separation kernel
Results: 33

#	Item
11	Setuid Demystified∗ Hao Chen David Wagner University of California at Berkeley {hchen,daw}@cs.berkeley.edu Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 System software User identifier Group identifier Setuid Filesystem permissions Principle of least privilege Privilege separation Linux kernel System call Unix Software Computing
12	Muen - An x86/64 Separation Kernel for High Assurance Reto Buerki Adrian-Ken Rueegsegger August 29, 2013 Add to Reading List Source URL: muen.codelabs.ch Language: English - Date: 2013-12-05 08:08:28 Virtual machines X86 architecture Hardware virtualization Microkernel L4 microkernel family Kernel Linux kernel Ring X86 virtualization System software Computer architecture Software
13	The Structure of Authority: Why Security Is not a Separable Concern Mark S. Miller1,2 , Bill Tulloh3, , and Jonathan S. Shapiro2 1 2 3 Add to Reading List Source URL: www.eros-os.org Language: English - Date: 2005-10-18 08:59:19 Programming paradigms CapDesk Principle of least privilege Object-capability model Trusted computing base Kernel Separation of concerns Capability-based security Abstraction Security Computer security Access control
14	Navigation and Ancillary Information Facility Two Easy Examples of Using WebGeocalc (WGC) Minimum angular separation of Jupiter and Saturn Add to Reading List Source URL: naif.jpl.nasa.gov Language: English - Date: 2015-02-24 12:07:18 Software Kernel Linux kernel Slide rule Software calculator Calculator Spacecraft Planet Instrument C-matrix Events Office equipment Technology Mathematics
15	SN-052-Multilevel-Prospekt_0413_V4.indd Add to Reading List Source URL: www.secunet.com Language: English - Date: 2013-07-16 06:35:47 Computer network security Multiple Independent Levels of Security Security Malware Vulnerability Separation kernel IPsec Integrity Virtual private network Computer security Computing Cyberwarfare
16	Setuid Demystified∗ Hao Chen David Wagner University of California at Berkeley {hchen,daw}@cs.berkeley.edu Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-08-30 22:13:54 System software User identifier Group identifier Setuid Filesystem permissions Principle of least privilege Privilege separation Linux kernel System call Unix Software Computing
17	ESA Roadmap For IMA Spin-In To Spacecraft Avionics Add to Reading List Source URL: esamultimedia.esa.int Language: English - Date: 2014-08-29 03:30:47 System software Disk file systems European Space Research and Technology Centre Separation kernel Integrated modular avionics Kernel Logical partition Disk partitioning IMA European Space Agency Computing Computer architecture
18	Separation Kernel Protection Profile Revisited: Choices and Rationale Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine Naval Postgraduate School Michael McEvilley Add to Reading List Source URL: www.cisr.us Language: English - Date: 2010-12-10 12:35:41 Separation kernel Multilevel security Protection Profile Common Criteria Kernel Security Target Evaluation Assurance Level Computer security Evaluation Security
19	Microsoft Word - C5_077_LEVIN.doc Add to Reading List Source URL: www.cisr.us Language: English - Date: 2009-03-04 17:16:50 Separation kernel Principle of least privilege Kernel Ring Linux kernel Thread Trusted computing base Privilege separation Privilege Computer architecture Computer security Computing
20	NPS-CS[removed]NAVAL POSTGRADUATE SCHOOL Monterey, California Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2006-08-07 10:32:43 Separation kernel Kernel Principle of least privilege Ring Linux kernel Operating system Multilevel security Loadable kernel module Thread Computer architecture System software Software

UPDATE